Contents 1 Z : A Formal Specification Notation
نویسنده
چکیده
منابع مشابه
Formal Specification of Relational Model of Data in Z-notation
The aim of this paper is to specify formally the Relational Model of Data. This specification could be extended to cover Object-Relational Model of Data and Data Streams. 1. Introduction. In this paper, a Relational Model of Data (RMD) is specified following its original presentation given in [1]. Z-notation is used as formal notation. It is now an international standard [2]. The original prese...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA Comparison of Object Modelling Notations: Alloy, UML and Z
An example of an object model is given in full in three languages: Alloy, a new notation; Z, a formal specification language; and UML, a modelling notation popular in industry. Basic features of Alloy are explained informally, and briefly justified by comparison of the Alloy version to the UML and Z versions.
متن کاملZ and Abstract Machine Notation: A Comparison
In this paper we compare the formal specification languages Z and Abstract Machine Notation (AMN); the latter of which is due to Abrial. The strategy adopted is that of presenting the same specification both in Z and AMN and of commenting on salient differences as they arise. The specification chosen is a slightly revised version of the specification of an Internal Telephone Number Database fou...
متن کاملTowards an Interactive Learning Environment for Object-Z
We have been engaged in research towards designing a software system called LOZ for learning the object oriented formal specification notation Object-Z. Initially, we conducted a survey to analyse the effectiveness of traditional methodologies for learning Z notation. In LOZ, the semiformal model UML is used in the intermediate phase between informal textual description and formal Object-Z desc...
متن کامل